大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Data Mining for Biomedical Applications [electronic resource] : PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006. Proceedings

0
索取号：
作者：Li、 Jinyan.、Yang、 Qiang.、Tan、 Ah-Hwee.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

0
索取号：
作者：Valmari、 Antti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithms in Real Algebraic Geometry [electronic resource]

0
索取号：
作者：Basu、 Saugata.、Pollack、 Richard.、Roy、 Marie-Fran莽oise.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号：
作者：Sestoft、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Learning and Adaption in Multi-Agent Systems [electronic resource] : First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

0
索取号：
作者：Tuyls、 Karl.、Hoen、 Pieter Jan鈥檛.、Verbeeck、 Katja.、Sen、 Sandip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Autonomic Communication [electronic resource] : Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers

0
索取号：
作者：Stavrakakis、 Ioannis.、Smirnov、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Technologies for E-Services [electronic resource] : 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers

0
索取号：
作者：Bussler、 Christoph.、Shan、 Ming-Chien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach

0
索取号：
作者：Penczek、 Wojciech.、P贸lrola、 Agata.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Switched Finite Time Control of a Class of Underactuated Systems [electronic resource]

0
索取号：
作者：Banavar、 Ravi N.、Sankaranarayanan、 Velupillai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Gene Expression Programming [electronic resource] : Mathematical Modeling by an Artificial Intelligence

0
索取号：
作者：Ferreira、 C芒ndida.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Networked Embedded Sensing and Control [electronic resource] : Workshop NESC鈥ൺ University of Notre Dame, USA October 2005 Proceedings

0
索取号：
作者：Antsaklis、 Panos J.、Tabuada、 Paulo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

0
索取号：
作者：Thompson、 Simon G.、Ghanea-Hercock、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Knowledge Discovery in Life Science Literature [electronic resource] : PAKDD 2006 International Workshop, KDLL 2006, Singapore, April 9, 2006. Proceedings

0
索取号：
作者：Bremer、 Eric G.、Hakenberg、 J枚rg.、Han、 Eui-Hong (Sam).、Berrar、 Daniel.、Dubitzky、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Trends in Enterprise Application Architecture [electronic resource] : VLDB Workshop, TEAA 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers

0
索取号：
作者：Draheim、 Dirk.、Weber、 Gerald.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fuzzy Logic and Applications [electronic resource] : 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers

0
索取号：
作者：Ges煤、 Vito.、Masulli、 Francesco.、Petrosino、 Alfredo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Simulation Studies in Condensed-Matter Physics XVIII [electronic resource] : Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7鈥ᱬ 2005

0
索取号：
作者：Landau、 David P.、Lewis、 Steven P.、Sch眉ttler、 Heinz-Bernd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.